Testing the Temporal Behavior of Real-Time Tasks Using Extended Evolutionary Algorithms
نویسندگان
چکیده
For real-time systems, correct system functionality depends on logical as well as on temporal correctness. Static analysis alone is not sufficient to verify the temporal behavior of real-time systems. Since existing test methods are not specialized for the verification of temporal correctness, we have developed a new testing method, namely evolutionary testing. This paper illustrates results of the first industrial application of the evolutionary test.
منابع مشابه
Automated Testing of Real-Time Tasks
The development of embedded systems is a crucial area of responsibility in industrial practice. Many embedded systems need to meet real-time requirements. This adds a new dimension to the testing of such systems – not only the logical behavior, but also the temporal behavior of these systems requires thorough testing. In comparison with conventional software systems, the testing of embedded sys...
متن کاملTesting the Temporal Behavior of Real-Time Software Modules using Extended Evolutionary Algorithms
Many industrial products are based on the use of embedded computer systems. Usually, these systems have to fulfill real– time requirements, and correct system functionality depends on their logical correctness as well as on their temporal correctness. Therefore, the developed systems have to be thoroughly tested in order to detect existing deficiencies in temporal behavior, as well as to streng...
متن کاملTesting the Temporal Behavior of Real - Time Engine Con - trol Software Modules using Extended
Many industrial products use embedded computer systems. Usually these systems have to fulfill real–time requirements , and correct system functionality depends on their logical correctness as well as on their temporal correctness. Therefore the developed systems have to be thoroughly tested in order to detect deficiencies in temporal behavior, as well as to strengthen the confidence in temporal...
متن کاملEvolutionary Testing of Temporal Correctness
The development of real-time systems is an essential industrial activity. Dynamic testing is the most important analytical method to assure the quality of real-time systems. It is the only method that examines the run-time behavior, based on an execution in the application environment. An investigation of existing software test methods shows that they mostly concentrate on testing for functiona...
متن کاملTesting Temporal Correctness of Real-Time Systems — A New Approach Using Genetic Algorithms and Cluster Analysis —
Testing is one of the most complex and time-consuming activities within the development of embedded systems. Usually, embedded systems have to fulfil real-time requirements, and correct system functionality depends on both their logical correctness and their temporal correctness. An investigation of existing testing approaches shows a lack of support for testing temporal system behavior. For th...
متن کامل